- схема импликации
- n
IT. implicateur
Dictionnaire russe-français universel. 2013.
схема импликации
Regardez d'autres dictionnaires:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ГЕМПЕЛЬ — (Hempel) Карл Густав (1905 1997) немецкий логик и философ науки, представитель неопозитивизма. Член Общества эмпирической философии (Берлин), участник Венского кружка. В 1934 эмигрировал в Бельгию, позднее в США (1937). Основные труды: ‘Мотивы и… … История Философии: Энциклопедия
ГЕМПЕЛЬ Карл Густав (1905-1997) — немецкий логик и философ науки, представитель неопозитивизма. Член Общества эмпирической философии (Берлин), участник Венского кружка. В 1934 эмигрировал в Бельгию, позднее в США (1937). Основные труды: Мотивы и охватывающие законы в историческом … История Философии: Энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
ОГРАНИЧЕНИЕ ТРЕТЬЕГО ПОНЯТИЯ — к о с в е н н ы й с и л л о г и з м (лат. determinatio tertii, sillogismus obliquus), – умозаключение, к рое в общем виде можно выразить схемой (1): (Все) А суть В; следовательно, С (нек рого) А есть С (нек рого) В или схемой (2): (Все) А суть В … Философская энциклопедия
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
